Proof of Universal Gate Set for Any Quantum Computation

A proof of the claim that CNOT + single qubit gates are universal.